\begin{tabbing}
index(${\it dE}$; ${\it dL}$; ${\it pred?}$; ${\it info}$; $p$; $r$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mu(\=($\lambda$$i$.eqof(${\it dE}$)($r$,receives(${\it dE}$; ${\it dL}$; ${\it pred?}$; ${\it info}$; $p$; sender(${\it info}$;$r$); link(${\it info}$;$r$))[$i$]))\+
\\[0ex])
\-
\end{tabbing}